This is the @emph{included} file (include-value2.txi).
